Choosing the best ring … for MPC!
在这篇文章中，我们将讨论Galois环（最近的代数结构）如何改善不诚实的多方计算（MPC）协议的通信复杂性。在我们深入MPC之前，我将简短地绕行以讨论如何在密码学中建模计算。当密码学家考虑计算时，他们经常考虑由加法和乘法门组成的电路。您可能会认为啊，像布尔电路一样吗？不，密码学家喜欢在巨大领域的电路。实际上，越大！使用AS的字段很方便1）除零以外的每个元素都是可逆的，而2）低度，非零多项式的根源很少。因此，我们通常可以将加密协议的安全性直接与该字段的大小联系起来（正如我们将在不久之后看到的）。但是，深入的密码仪确实只想与整数Mod（），Think /bit未签名的整数一起使用电路。为了易于符号
由IEEE计算机学会数学基础计算机基础委员会赞助的第66届计算机科学基础研讨会（2025年）将于12月14日至17日在澳大利亚悉尼举行。介绍了有关计算理论的新的和原始研究的论文。典型但不是独家感兴趣的主题包括：算法编码理论，代数计算，算法图理论，算法游戏理论，算法和数据结构，布尔函数的分析，近似算法，平均库复杂性，逻辑，计算，计算，计算，计算，计算，计算，计算，计算，计算复杂性，沟通复杂性，电路复杂性，组合优化，计算游戏理论，计算几何学，计算学习理论，连续优化，加密，机器学习的基础，在线算法，优化，并行和分布式算法，参数化算法，随机算法，随机算法，Sublinear Algorithm，Sub
数据集的理论在哪里？将数据集拆分为训练数据和测试数据的典型模型允许统计有效性来评估模型性能。然而，在现实世界中，通常不仅要考虑一个数据源，还要考虑许多不同的数据源；训练集的构建和处理远非易事。一方面，特定应用的定制数据可能非常有限或根本不可用。另一方面，使用所有可能的数据源也可能导致大量问题，包括分布不匹配和数据质量下降。鉴于不同数据源的质量、大小和组成可能有所不同；目前尚不清楚数据管理如何影响下游模型性能。最近的一系列实证研究已经针对各种类型的模型和下游任务研究和优化了数据组合。然而，在对不同数据组合场景的理论属性进行建模和分析方面的工作有限。数据管理是一个难题，因为最佳数据组合的搜索空间很
第六届负责任计算基础研讨会 (FORC) 将于 2025 年 6 月 4 日至 6 日在美国加利福尼亚州斯坦福大学举行。征文通知已发布。今年有几项变化（见下文），其中最紧迫的是将有两个提交周期，第一个提交周期大约在一个月后。请提交您的优秀论文，以期在 FORC 中再次取得成功。对于熟悉 FORC 以往版本的人士，简要总结一下：与之前的征文通知相比，我们正在实施两项主要变化。首先，我们将在 11 月至 12 月引入额外的提交周期，并提前通知作者，并将有关已接受论文的信息发布到会议网站上。第二，我们将用“亮点”取代会议的“非档案轨道”，以引起社区对更多激动人心的发展的关注。亮点轨道中的工作将通过轻
ITC 2024 at Stanford! Early-Bird Registration Deadline August 1
信息理论密码学 (ITC) 会议将于 8 月 14 日至 16 日在斯坦福举行，恰好在圣巴巴拉的 CRYPTO 之前！会议将有一系列精彩的演讲和演讲者，包括几场“焦点”和“亮点”演讲！您可以在此处找到时间表：https://itcrypto.github.io/2024/2024prog.html 早鸟注册截止日期为 7 月 24 日星期三、8 月 1 日星期四，请立即注册！
第五届负责任计算基础研讨会 (FORC) 将于 2024 年 6 月 12 日至 14 日在马萨诸塞州剑桥的哈佛大学举行。征文通知已经发出。请提交您的优秀论文，以便 FORC 再次取得成功。FORC 是计算和社会领域数学研究的论坛。该研讨会旨在催化一个社区的形成，支持将理论计算机科学、统计学、经济学和其他相关分析领域应用于紧迫和预期的社会关注问题。主题包括但不限于：机器学习公平性的理论方法，包括定义、算法、下限和权衡的研究；隐私的正式方法，包括差异隐私；计算和数学的社会选择，包括分配和重新划分选区；分配和公平划分的公平性；经济激励，包括社会公益机制设计；稳健性的指标和含义，包括可解释性的形式化
2024 Motwani Postdoc Announced
斯坦福大学理论小组邀请申请 Motwani 理论计算机科学博士后奖学金。以下是信息和申请说明。在职位填满之前将接受申请，但申请人的审核将在 12 月 15 日之后开始。网站：https://academicjobsonline.org/ajo/jobs/26450电子邮件：theory.stanford@gmail.com
Optimal Metric Distortion for Voting — A Proof from the Book
在这篇文章中，我们将重新讨论投票理论中的（确定性）度量扭曲猜想，该猜想最近由 Gkatzelis、Halpern 和 Shah [GHS20] 证明，并由 Kempe 和 Kizilkaya [KK22] 优雅地重新证明。该猜想涉及以下问题。假设我们举行一场选举，选民和候选人位于度量空间中，但我们唯一拥有的信息是选民按距离递增顺序对候选人的排名。候选人的成本是他们与选民的总距离。我们能否设计一条投票规则，始终选择成本接近最低可能的候选人？（理想情况下，只比最小值差一个小因素，在文献中称为扭曲。）先验地，这似乎是一项不可能完成的任务。如果不知道实际距离，你怎么可能做到这一点？事实证明，知道距离的
在上一篇文章中，我讨论了给定数据集的 DNF 最小化的复杂性。具体来说，给定一个输入/输出对的数据集，计算与 一致的最小 DNF 有多难？在这篇文章中，我们将研究这个问题的一个变体，其中要求数据集为 中的每个点指定一个标签。DNF 真值表最小化。DNF 真值表最小化是 DNF 最小化的变体，其中输入数据集是函数 的真值表。对数据集的额外约束只能使问题变得更容易，实际上，使用 Set-Cover 的贪婪近似，可以在多项式时间内将真值表最小化近似到 的一个因子以内。第一个下界由 Masek 于 1979 年证明，表明确切的变体是 NP 难的。他的结果从未发表过，尽管后来 Umans、Villa 和
给定一个由输入/输出对组成的数据集，如何找到与数据一致的小 DNF？这个问题称为 DNF 最小化，在计算机科学史上以各种形式出现。在这篇由两部分组成的博客文章中，我将调查一些关于这个问题的复杂性的结果以及与学习 DNF 的一些联系。历史和动机。几十年来，DNF 最小化一直是逻辑综合界的核心问题。在这个领域，这个问题被称为“两级逻辑综合”。它有着悠久的历史，可以追溯到 1952 年奎因写的一篇名为“简化真值函数的问题”的论文。奎因的论文在某种程度上是对香农硕士论文“继电器和开关电路的符号分析”的回应，该论文将布尔代数引入了电路设计的研究。奎因对以下问题感兴趣。给定一个布尔函数（作为真值表），找到
2023 年计划委员会主席的客座帖子：Nicole Megow（APPROX）和 Adam Smith（RANDOM）第 27 届国际随机化和计算研讨会 (RANDOM 2023) 和第 26 届组合优化问题近似算法国际研讨会 (APPROX 2023) 将于 2023 年 9 月 11 日至 13 日在美国佐治亚州亚特兰大亲自举行。RANDOM 2023 专注于随机性在计算和组合问题中的应用，而 APPROX 2023 则专注于与开发计算难题的有效近似解有关的算法和复杂性理论问题。重要日期：提交：2023 年 5 月 4 日，18:00 EDT（UTC-4）通知：2023 年 6 月 26
2023 Motwani Postdoc Announced
斯坦福大学理论组邀请 Motwani 理论计算机科学博士后奖学金申请。信息和申请说明如下。职位招满之前将一直接受申请，但申请人的审核将在 12 月 15 日之后开始。网站：https://academicjobsonline.org/ajo/jobs/23929电子邮件：theory.stanford@gmail.com
第 9 届 TOCA-SV 日将于 2022 年 11 月 18 日星期五在山景城的 Google 园区举行。它是免费的，但您需要在此处注册，您还可以在此处查看最新的演讲和摘要列表。时间安排（暂定）： 0930-1000：早餐 1000-1015：欢迎 1015-1100：Gagan Aggarwal（谷歌） 1100-1145：Li-Yang Tan（斯坦福） 1145-1245：简短演讲 I 1245-1400：午餐（提供）和校园参观 1400-1445：Sandy Irani（西蒙斯/加州大学伯克利分校） 1445-1530：Kunal Talwar（苹果） 1530-1600：咖啡休息
TCS Women Spotlight Workshop at STOC’22
第 5 届 TCS 女性聚焦研讨会由 Elena Grigorescu（普渡大学）、Barna Saha（加州大学圣地亚哥分校）、Virginia Vassilevska Williams（麻省理工学院）和 Mary Wootters（斯坦福大学）组织，将于周一罗马时间 (GMT+2) 上午 8:45 举行，作为 STOC'22 的一部分。若要亲自参加研讨会，只需到场即可！您也可以免费在线加入（无需 STOC 注册！），只需在此处注册即可。活动对所有人开放。研讨会邀请了一系列鼓舞人心的演讲者——包括 Irit Dinur 的励志演讲：“扩展、PCP 和高维扩展，或者我如何重新证明 PCP 定理
TCS Women Spotlight Workshop at STOC 2022: Travel grants and call for speaker nominations
来自组织者： ================ 诚挚邀请您参加 TCS 女性聚焦研讨会！研讨会将于 2022 年 6 月 20 日星期一在意大利罗马举行，作为第 54 届计算理论研讨会 (STOC) 和 TheoryFest 的一部分。研讨会向所有人开放。有关研讨会的更多信息，请访问此处：https://sigact.org/tcswomen/ 特别是，我们想重点介绍 TCS 女性旅行奖学金（截止日期为 4 月 25 日）和研讨会上新星演讲的提名征集（截止日期为 5 月 9 日）。更多信息如下。希望在罗马见到你！ TCS 女性旅行奖学金 TCS 女性旅行奖学金旨在为职业生涯初期的研究人员提供帮
